TPLP is a primary venue for publishing original research results on
logic programming. The journal is published by Cambridge University
Press. Since January 1, 2015, I serve as its Editor-in-Chief. Consider
submitting your work to TPLP. Please, contact me if you have quesitons.
With Raphael Finkel and Victor Marek
we use SAT techniques to generate
sudoku puzzles. Try your skills at
Puzzle of the Day